/*
 * ToolChanged.java
 *
 * Created on 27 maj 2007, 01:04
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package pl.krakow.ae.knp.wikiboard.gui.palette;

import pl.krakow.ae.knp.wikiboard.gui.tools.ToolType;

/**
 *
 * @author m
 */
public class ToolChanged extends PaletteEvent
{
    ToolType type;
    
    /** Creates a new instance of ToolChanged */
    public ToolChanged(ToolType type)
    { this.type = type; }
    
    public ToolType getToolType()
    { return type; }
}
